/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 
 *       Projet INF241 - Squaro
 *   ---------------------------------
 *
 *  resolution_plateau.h
 *  definition des éléments de resolution d'un plateau
 *  de squaro
 *
 *  - get_fnd(Plateau)
 *  - ecrire_dimacs_plat(Plateau)
 *  - 
 *  - 
 *  
 *
 */


#ifndef DEF_RES_PLATEAU
#define DEF_RES_PLATEAU

#include "plateau.h"
#include "logique.h"

/* Modélisation en forme normale
   conjonctive */
Fnc modelisation(Plateau p);


#endif
